Nuprl Definition : w-ml
0,22
postcript
pdf
m(
l
;
t
) == onlnk(
l
;m(source(
l
);
t
))
latex
clarification:
w-ml(
w
;
l
;
t
) == onlnk(
l
;w-m(
w
; source(
l
);
t
))
latex
Definitions
source(
l
)
,
m(
i
;
t
)
,
onlnk(
l
;
mss
)
,
m(
l
;
t
)
FDL editor aliases
w-ml
origin